181. PARLE, parallel architectures and languages Europe : Eindhoven, The Netherlands, June 15-19, 1987 : proceedings
پدیدآورنده: edited by J.W. de Bakker, A.J. Nijman, and P.C. Treleaven
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Congresses ، Parallel processing )Electronic computers(,Congresses ، Computer architecture,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
L4
v
.
258
,
259
182. PARLE, parallel architectures and languages Europe, Eindhoven, The Netherlands, June 15-19, 1987 : proceedings
پدیدآورنده: edited by J.W. de Bakker, A.J. Nijman, and P.C. Treleaven
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Parallel processing )Electronic computers(,Congresses ، Computer architecture,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
258-259
183. PARLE: parallel architectures and languages Europe: Eindhoven, the Netherlands, June 15-19, 1987: proceedings
پدیدآورنده: edited by J. W. de Bakker, A. J. Nijman and P. C. Treleaven
کتابخانه: کتابخانه دانشگاه تحصیلات تکمیلی صنعتی و فناوری پیشرفته کرمان (کرمان)
موضوع: Congresses ، Parallel processing )Electronic computers(,Congresses ، Computer architecture,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
5
.
C619
1987
184. PEPM ʹ09 : proceedings of the ...
پدیدآورنده: ACM SIGPLAN Symposium on Partial Evaluation and Program Manipulation (Savannah, Georgia, USA : 2009)
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Compiling (Electronic computers) - Congresses ► Programming languages (Electronic computers) -Congresses ► Programming languages (Electronic computers) - Semantics - Congresses ► Computer programming - Congresses
رده :
005
.
A184p
185. Perspectives on computer science; from the 10th Anniversary Symposium at the Computer Science Department, Carnegie-Mellon University
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Electronic digital computers-- Programming-- Congresses,، Electronic digital computers-- Programming-- Congresses,، Programming languages )Electronic Computers(-- Congresses
رده :
QA
75
.
5
.
P47
186. Practical aspects of declarative languages
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Programming languages (Electronic computers) ; Semantics ; Congresses. ;
187. Practical aspects of declarative languages :
پدیدآورنده: Pascal Van Hentenryck (ed.)
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Programming languages (Electronic computers)-- Semantics, Congresses
رده :
QA76
.
7
.
P32
2006
188. Practical aspects of declarative languages
پدیدآورنده: Andy Gill, Terrance Swift (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Declarative programming languages, Congresses,Programming languages (Electronic computers)-- Semantics, Congresses
رده :
QA76
.
615
.
P33
2009eb
189. Practical aspects of declarative languages
پدیدآورنده: / Michael Hanus (ed.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Programming languages (Electronic computers)--Semantics--Congresses
رده :
QA
,
76
.
7
,.
P32
,
2007
190. Practical aspects of declarative languages : First International Workshop, PADL'99, San Antonio, Texas, USA, January 1999 : proceedings
پدیدآورنده: Gopal Gupta )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Programming languages )Electronic computers( -- Semantics
رده :
QA
76
.
L28
Vol
.
1551
191. Practical aspects of declarative languages : second International Workshop, PADL 2000, Boston, MA, USA, January 17-18, 2000 : proceedings
پدیدآورنده: Enrico Pontelli, Vitor Santos Costa )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Programming languages )Electronic computers( -- Semantics,Congresses ، Declarative programming
رده :
QA
76
.
L28
Vol
.
1753
192. Practical aspects of declarative languages : 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005 : proceedings
پدیدآورنده: Manuel Hermenegildo, Daniel Cabeza )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Programming languages )Electronic computers( -- Semantics
رده :
QA
76
.
L28
Vol
.
3350
193. Practical aspects of declarative languages : 9th International Symposium, PADL 2007 Nice, France, January 14-15, 2007 : proceedings
پدیدآورنده: Michael Hanus )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Programming languages )Electronic computers( -- Semantics
رده :
QA
76
.
L28
Vol
.
4354
194. Practical aspects of declarative languages : 4th International Symposium, PADL 2002, Portland, OR, USA, January 19-20, 2002 : proceedings
پدیدآورنده: Shriram Krishnamurthi, C.R. Ramakrishnan )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
2257
195. Practical aspects of declarative languages : 6th international symposium, PADL 2004, Dallas, TX, USA, June 18-19, 2004 : proceedings
پدیدآورنده: Bharat Jayaraman )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Programming languages )Electronic computers( -- Semantics
رده :
QA
76
.
L28
Vol
.
3057
196. Practical aspects of declarative languages :5th international symposium, PADL 2003, New Orleans, LA, USA, January 13-14, 2003 : proceedings
پدیدآورنده: Veronica Dahl, Philip Wadler )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Programming languages )Electronic computers( -- Semantics
رده :
QA
76
.
L28
Vol
.
2562
197. Practical aspects of declarative languages : third international symposium, PADL 2001, Las Vegas, Nevada, March 11-12, 2001 : proceedings
پدیدآورنده: I.V. Ramakrishnan
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Programming languages )Electronic computers( -- Semantics
رده :
QA
76
.
L28
Vol
.
1990
198. Proceedings
پدیدآورنده :
موضوع : Congresses ، Programming languages )Electronic computers(
۲ نسخه از این کتاب در ۱ کتابخانه موجود است.
199. Proceedings
پدیدآورنده: IEEE Computer Society International Conference on Computer Languages )6891: Miami, Fl.(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Programming languages )Electronic computers(-- Congresses
رده :
QA
76
.
7
.
I17
1986
200. Proceedings of the ...
پدیدآورنده: Higher order workshop, 4th, Banff, Alberta, 1990
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Parallel processing (Electronic computers)- Congresses ► Programming languages (Electronic computers)- Congress ► Automatic theorem proving- Congresses
رده :
004
H638p





